Search results for "System requirements"
showing 8 items of 8 documents
How to Write Ethical User Stories? : Impacts of the ECCOLA Method
2021
AbstractArtificial Intelligence (AI) systems are increasing in significance within software services. Unfortunately, these systems are not flawless. Their faults, failures and other systemic issues have emphasized the urgency for consideration of ethical standards and practices in AI engineering. Despite the growing number of studies in AI ethics, comparatively little attention has been placed on how ethical issues can be mitigated in software engineering (SE) practice. Currently understanding is lacking regarding the provision of useful tools that can help companies transform high-level ethical guidelines for AI ethics into the actual workflow of developers. In this paper, we explore the i…
Understanding Decision Support in Large-Scale Disasters: Challenges in Humanitarian Logistics Distribution
2017
Disasters are characterized by conflicting, uncertain, or lacking data. Nevertheless, humanitarian responders need to make rapid decisions. This is particularly true for the immediate response to a sudden onset disaster. Since most humanitarian decision support systems (DSS) make important assumptions on data availability and quality that are often not fulfilled in practice, decision-makers are largely left to their experience. In this paper, we identify three major challenges for an operational DSS to support distribution planning: (i) deep uncertainty; (ii) reflecting field conditions and constraints; and (iii) rapid humanitarian logistics modeling. We review the relevant theories and pro…
Optimal deadline assignment for periodic real-time tasks in dynamic priority systems
2006
Real-time systems are often designed using a set of periodic tasks. Task periods are usually set by the system requirements, but deadlines and computation times can be modified in order to improve system performance. Sensitivity analysis in real-time systems has focused on changes in task computation times using fixed priority analysis. Only a few studies deal with the modification of deadlines in dynamic priority scheduling. The aim of this work is to provide a sensitivity analysis for task deadlines in the context of dynamic-priority, pre-emptive, uniprocessor scheduling. In this paper, we present a deadline minimisation method that achieves the maximum reduction. As undertaken in other s…
PASSI: Process for Agent Societies Specification and Implementation
2014
PASSI (a Process for Agent Societies Specification and Implementation) is a step-by-step requirement-to-code methodology for designing and developing multiagent societies, integrating design models and concepts from both Object-Oriented software engineering and artificial intelligence approaches using the UML notation. The models and phases of PASSI encompass anthropomorphic representation of system requirements, social viewpoint, solution architecture, code production and reuse, and deployment configuration supporting mobility of agents. PASSI is made up of five models, concerning different design levels, and 12 activities performed to build multiagent systems. In PASSI, the UML notation i…
An Overview of 5G Slicing Operational Business Models for Internet of Vehicles, Maritime IoT Applications and Connectivity Solutions
2021
Identification of ecosystems and Business Models (BM) is an important starting point for new complex system development. The definition of actor (or stakeholder) roles and their interactions (at both business and technical levels), together with target scenarios and use cases, provide essential input information for further system requirement collection and architecture specification. The powerful and flexible Fifth Generation (5G) network slicing technology, which is capable of creating virtually isolated and logically parallel networks, enables a large range of complex services and vertical applications. Although various terminologies and models have been proposed in recent years for BMs …
Verification of JADE Agents Using ATL Model Checking
2015
It is widely accepted that the key to successfully developing a system is to produce a thorough system specification and design. This task requires an appropriate formal method and a suitable tool to determine whether or not an implementation conforms to the specifications. In this paper we present an advanced technique to analyse, design and debug JADE software agents, using Alternating-time Temporal Logic (ATL) which is interpreted over concurrent game structures, considered as natural models for compositions of open systems. In development of the proposed solution, we will use our original ATL model checker. In contrast to previous approaches, our tool permits an interactive or programma…
A speech-act-based office modeling approach
1988
In this paper methods and principles that help to analyze offices as systems of communicative action are explored. In communicative action, office agents create commitments through symbolic means. A SAMPO (Speech-Act-based office Modeling aPprOach), which studies office activities as a series of speech acts creating, maintaining, modifying, reporting, and terminating commitments, is presented. The main steps and methods in the office system specification are outlined and their application illustrated through a simple example. In the final section advantages and disadvantages in the SAMPO are noted and some research directions for the future are suggested.
FLEX: ESA's Earth Explorer 8 candidate mission
2012
In this paper we present the scientific objectives of the FLEX mission and the underlying rationale. It sketches the basic ideas of the new measurement concept, which is making use of the tandem configuration of FLEX with GMES/Sentinel-3, and outlines the most important instrument and system requirements. We will describe the envisaged instrument configuration that is in line with the measurement objectives, and which is supported by the latest results of the scientific investigations.